phraSED-ML: A paraphrased, human-readable adaptation of SED-ML
نویسندگان
چکیده
منابع مشابه
SED-ED, a workflow editor for computational biology experiments written in SED-ML
UNLABELLED The simulation experiment description markup language (SED-ML) is a new community data standard to encode computational biology experiments in a computer-readable XML format. Its widespread adoption will require the development of software support to work with SED-ML files. Here, we describe a software tool, SED-ED, to view, edit, validate and annotate SED-ML documents while shieldin...
متن کاملElements of ML programming - ML 97 edition
elements of ml programming ml97 edition khbd elements of ml programming ml97 edition eyeguy elements of ml programming ml97 edition campen elements of ml programming ml97 edition anymix elements of ml programming ml97 edition dcnx elements of ml programming ml97 edition wigtql.herokuapp elements of ml programming ml97 edition ztrd elements of ml programming ml97 edition deelyey elements of ml p...
متن کاملML-236A, ML-236B, and ML-236C, new inhibitors of cholesterogenesis produced by Penicillium citrinium.
Sir: Clinical and nutritional studies have indicated that high cholesterol levels in the blood may be one of the major causes of atherosclerosis and coronary heart disease. In this context the metabolism of cholesterol in liver is of paramount importance because liver seems to be the sole organ supplying serum cholesterol and because the conversion of cholesterol into bile acids in liver is qua...
متن کاملMini ML
This theory defines the type inference rules and the type inference algorithm W for MiniML (simply-typed lambda terms with let) due to Milner. It proves the soundness and completeness of W w.r.t. the rules. A report describing the theory is found in [1] and [2]. 1 Universal error monad theory Maybe imports Main begin definition option_bind :: "[’a option, ’a => ’b option] => ’b option" where "o...
متن کاملHol-ml
We describe here HOL-ML, an encoding of a subset of SML and its dynamic semantics (as described by The Definition of Standard ML) in HOL. This encoding, which is the first stage in a project that will include typechecking and SML Modules, allows the formal study of the evaluation of a real programming language including state and control constructs (exceptions). In this paper we describe the su...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Bioinformatics and Computational Biology
سال: 2016
ISSN: 0219-7200,1757-6334
DOI: 10.1142/s0219720016500359